1

Dependent vector types for data structuring in multirate Faust

Year:
2011
Language:
english
File:
PDF, 461 KB
english, 2011
3

Semantic file systems

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
4

Polymorphic type, region and effect inference

Year:
1992
Language:
english
File:
PDF, 1.15 MB
english, 1992
8

The Type and Effect Discipline

Year:
1994
File:
PDF, 1.83 MB
1994
13

Synchronous programming in audio processing

Year:
2013
Language:
english
File:
PDF, 504 KB
english, 2013
22

Reasoning about continuations with control effects

Year:
1989
Language:
english
File:
PDF, 917 KB
english, 1989